Testing is an effective learning method, and it is the basis of mobile quiz apps. Quiz apps have the potential to facilitate remote and self-regulated learning. In this context, automatized feedback plays a crucial role. In two experimental studies, we examined the effects of two feedback types of quiz apps on performance, namely, the standard corrective feedback of quiz apps and a feedback that incorporates additional information related to the correct response option. We realized a controlled lab setting (n= 68, (...) Study 1) and an unsupervised mobile setting (n= 150, Study 2). In the learning phase, participants used the quiz app and received feedback. They also completed a subsequent test as well as a follow-up test 1 week later by using the same quiz app. Irrespective of feedback type and setting, cognitive outcomes (quiz scores) and metacognitive outcomes (response certainty) increased similarly in the short term and long term. Feedback effects were not moderated by participants' overall response certainty during learning, their prior knowledge, and the difficulty of quiz items. Moreover, we found that participants perceived the quiz app to be similarly attractive, interesting, and enjoyable in both feedback conditions and that they spent slightly more time to process quiz items in the lab setting. We discuss these results in detail, including the role of moderating and mediating factors and prospects for further research and practice. Overall, our results underline that quiz apps are useful and effective tools that can support the acquisition and retention of semantic knowledge in different learning settings. (shrink)

Video surveillance is an omnipresent phenomenon in today’s metropolitan life. Mainly intended to solve crimes, to prevent them by realtime-monitoring or simply as a deterrent, video surveillance has also become interesting in economical contexts; e.g. to create customer profiles and analyse patterns of their shopping behaviour. The extensive use of video surveillance is challenged by legal claims and societal norms like not putting everybody under generalised suspicion or not recording people without their consent. In this work we propose a technological (...) solution to balance the positive and negative effects of video surveillance. With automatic image recognition algorithms on the rise, we suggest to use that technology to not just automatically identify people but blacken their images. This blackening is done with a cryptographic procedure allowing to revoke it with an appropriate key. Many of the legal and ethical objections to video surveillance could thereby be accommodated. In commercial scenarios, the operator of a customer profiling program could offer enticements for voluntarily renouncing one’s anonymity. Customers could e.g. wear a small infrared LED to signal their agreement to being tracked. After explaining the implementation details, this work outlines a multidisciplinary discussion incorporating an economic, ethical and legal viewpoint. (shrink)

Videoüberwachung ist heute allgegenwärtig. Sie dient dazu, Delikte im Nachhinein aufzuklären, zur Echtzeit-Überwachung oder zur Abschreckung. Darüber hinaus gibt es aber auch wirtschaftliche Interessen für eine Videoüberwachung und automatische Erfassung von Personen – z.B. zur Erstellung von Kundenprofilen und somit zur Analyse von Kaufverhalten. Dem gegenüber stehen Rechtsanspruche sowie ethische und gesellschaftliche Grundnormen, etwa dass Menschen nicht unter Generalverdacht gestellt oder ohne Zustimmung aufgezeichnet werden dürfen. In dieser Arbeit wird ein technischer Lösungsansatz behandelt, der eine flexible Handhabung der Videoüberwachung erlaubt. (...) Es werden in diesem Zusammenhang neben der technischen Umsetzung auch ökonomische, ethische und juristische Fragen betrachtet. Der Lösungsansatz besteht darin, Personen auf Videoaufnahmen durch ein kryptographisches Verfahren unkenntlich zu machen, noch bevor die Aufnahmen die Kamera-Elektronik verlassen. Nur mittels eines geheimen kryptographischen Schlüssels können einzelne Zeit- und Bildbereiche einer Aufnahme wieder deanonymisiert werden, wodurch rechtlichen wie ethischen Bedenken Rechnung getragen werden kann. In kommerziellen Szenarien erlaubt es diese digitale Tarnkappe, dass Kunden z.B. im Rahmen eines Prämien-Programms freiwillig auf Anonymisierung verzichten. Während in der Literatur der Informatik bereits seit längerem Technologien für solche System beschrieben werden, werden in dieser Arbeit Wege gezeigt, wie dessen Einbettung in die Gesellschaft wirklich realisiert werden könnte. (shrink)

1. Hume e a Magna Carta: em torno do círculo da justiça, Maria Isabel Limongi; 2. Hume e o problema da justificação da resistência ao governo, Stephanie Hamdan Zahreddine; 3 O surgimento dos costumes da sociedade comercial e as paixões do trabalho, Pedro Vianna da Costa e Faria; 4. O sentido da crença: suas funções epistêmicas e implicações para a teoria política de Hume, Lilian Piraine Laranja; 5. O Status do Fideísmo na Crítica de Hume à Religião Natural, Marília Côrtes (...) de Ferraz; 6. Da imaterialidade da alma: a desconstrução mais incisiva de Hume de um pressuposto metafísico, Marcos César Seneda; 7. A “irresistibilidade” e a “inevitabilidade” das crenças naturais e o caráter normativo da epistemologia de Hume, Claudiney José de Sousa; 8. Filosofia e vida comum na epistemologia de Hume, Marcos Fonseca Ribeiro Balieiro; 9. Hume e o relativismo moral, Flávio Zimmermann; 10. Hume e a vivacidade das crenças morais, André Luiz Olivier da Silva; 11. Virtudes sociais e refinamento na filosofia moral de David Hume, Andreh Sabino Ribeiro; 12. O movimento razão-crença na interpretação da teoria da motivação de Hume, Franco Nero Antunes Soares; 13. Sentimentos e Normatividade em David Hume segundo Annette Baier, Giovani Lunardi; 14. Simpatia e aprovação moral da justiça na filosofia de David Hume, Denize Carolina da Cunha & Nivaldo Machado; 15. Do eu como feixe de percepções ao eu das paixões: Hume e a identidade pessoal no Tratado, Susie Kovalczyk dos Santos; 16. Imaginação em Hobbes e Hume: cadeias mentais reguladas e princípios de associação, Andrea Cachel; 17. Hume e o princípio fundamental da filosofia moderna, Rafael Bittencourt Santos; 18. A conexão necessária entre Hume e Malebranche, Bruna Frascolla; 19. Realismo ontológico e antirrealismo epistemológico na problemática sobre o mundo externo em Hume, Leandro Hollanda; 20. Uma possível inversão kantiana da tese humeana da inércia da razão, Carlos Eduardo Moreno Pires; Nota sobre João Paulo Monteiro, Rolf Nelson Kuntz. (shrink)

We study Martsinkovsky–Russell torsion modules with pure embeddings as an abstract elementary class. We give a model-theoretic characterization of the pure-injective and the Σ-pure-injective modules relative to the class of torsion modules assuming that the torsion submodule is a pure submodule. Our characterization of relative Σ-pure-injective modules extends the classical characterization of Gruson and Jenson as well as Zimmermann. We study the limit models of the class and determine when the class is superstable assuming that the torsion submodule is (...) a pure submodule. As a corollary, we show that the class of torsion abelian groups with pure embeddings is strictly stable (i.e., stable not superstable). (shrink)

We prove that the category of Nachbin’s compact ordered spaces and order-preserving continuous maps between them is dually equivalent to a variety of algebras, with operations of at most countable arity. Furthermore, we observe that the countable bound on the arity is the best possible: the category of compact ordered spaces is not dually equivalent to any variety of finitary algebras. Indeed, the following stronger results hold: the category of compact ordered spaces is not dually equivalent to any finitely accessible (...) category, any first-order definable class of structures, and any class of finitary algebras closed under products and subalgebras. An explicit equational axiomatisation of the dual of the category of compact ordered spaces is obtained; in fact, we provide a finite one, meaning that our description uses only finitely many function symbols and finitely many equational axioms. In preparation for the latter result, we establish a generalisation of a celebrated theorem by Mundici: our result—whose proof is independent of Mundici’s theorem—asserts that the category of unital commutative distributive lattice-ordered monoids is equivalent to the category of what we call MV-monoidal algebras.Abstract taken directly from the thesis.E-mail: marco[email protected]: https://air.unimi.it/retrieve/handle/2434/812809/1698986/phd_unimi_R11882.pdf. (shrink)

In this paper some parts of the model theory for logics based on generalised Kripke semantics are developed. Löwenheim-Skolem theorems and some applications of ultraproduct constructions for generalised Kripke models with variable universe are investigated using similar theorems of the model theory for classical logic. The results are generalizations of the theorems of [4].

Dance provides natural conditions for studying relationships between coordination patterns and human experience. von Zimmermann and colleagues investigate whether relatively simple or more complex forms of movement coordination are related to pro‐social experiences during group dance. They find that pro‐social experience depends on the degree to which movement patterns are distributed and diversified, but not the degree to which movement patterns are simply unitary.

It is demonstrated how Kripke models for intuitionistic predicate logic can be applied in order to prove classical theorems. As examples proofs of the independence of the axiom of constructibility, of the omitting types theorem and of Shelah's ultrapower theorem are sketched.

Für Kant spielt die Religion im Hinblick auf die moralische Lebensführung weder in geltungstheoretischer noch in motivationstheoretischer Hinsicht eine wesentliche Rolle. Deshalb ist er auch vom tendenziellen Ende der historischen Religionen überzeugt. Mit schonungsloser Kritik wendet sich Kant gegen den dogmatischen Bestand der Offenbarungsreligionen und gegen religiöse Praktiken, die er als „Afterdienst“ bzw. als „Wahnglauben“ brandmarkt. Aber schon die Zeitgenossen haben mit einiger Irritation zur Kenntnis genommen, dass Kant auf der anderen Seite den historischen Religionen für die Gegenwart noch die (...) nützliche Funktion eines ‚Vehikels‘ für die Etablierung eines moralischen „Religionsglaubens“ zuspricht. Bernd Dörflinger hat sich in seinen richtungsweisenden Studien die Aufgabe gestellt, im Rahmen sorgfältiger Analysen die Komplexität von Kants religionsphilosophischen Überlegungen herauszuarbeiten, zugleich aber zu zeigen, was diese im Kontext einer veränderten historischen Situation bedeuten, ohne theologischen Versuchen der Vereinnahmung anheim zu fallen. (shrink)

A game for testing the equivalence of Kripke models with respect to finitary and infinitary intuitionistic predicate logic is introduced and applied to discuss a concept of categoricity for intuitionistic theories.

A philosophy of information is grounded in a philosophy of documentation. Nunberg’s conception of the phenomenon of information heralds a shift of attention away from the question “What is information?” toward a critical investigation of the sources and legitimation of the question itself. Analogies between Wittgenstein’s deconstruction of philosophical accounts of meaning and a corresponding deconstruction of philosophical accounts of information suggest that because the informativeness of a document depends on certain kinds of practices with it, and because information emerges (...) as an effect of such practices, documentary practices are ontologically primary to information. The informativeness of documents therefore refers us to the properties of documentary practices. These fall into four broad categories: their materiality; their institutional sites; the ways in which they are socially disciplined; and their historical contingency. Two examples from early modern science, which contrast the scholastic documentary practices of continental natural philosophers to those of their peers in Restoration England, illustrate the richness of the factors that must be taken into account to understand how documents become informing. (shrink)

Naturalistic Descriptions and Normative-Intentional Interpretations Normative pragmatists about linguistic meaning such as Sellars and Brandom have to explain how norms can be implicit in practices described in purely naturalistic terms. The explanation of implicit norms usually offered in the literature commits pragmatists to equate actions with naturalistic events. Since this is an unacceptable consequence, I propose an alternative explanation of implicit norms that avoids this identification. To do so, one has to treat the normative-intentional concepts such as "norm", "action", "sanction", (...) "belief", "desire" as a holistic system, in the sense that one has to apply all of them to a given naturalistic practice simultaneously. This result might be taken to imply that the pragmatist strategy of explaining the content of assertions and beliefs in terms of norm-governed use is misguided because it presupposes that one can account for the concept "norm" independently of the concept "belief". I argue that this consequence does not follow. (shrink)

What is the fruit of a searching dialogue between faith and reason? This book collects theological and philosophical perspectives on the richness of the faith-reason dialogue, including examples from literature, continental and analytic philosophy, worship and liturgy, and radical approaches to issues of racism and prejudice. The authors strongly resist the temptations to either disregard the faith-reason dialogue or take it for granted. Through their explorations and reflections they open up new vistas and horizons on a topic more necessary than (...) ever. (shrink)

Taking account of Kant's unpublished mss., the author presents a close textual interpretation of Kant's logic of concepts.

The two main challenges of the theory of conceptual content presented by Robert Brandom in Making It Explicit are to account for a referential dimension of conceptual content and to account for the objectivity of conceptual norms. Brandom tries to meet both these challenges in chapter 8 of his book. I argue that the accounts presented there can only be understood if seen against the background of Brandom's theory of communication developed in chapter 7. This theory is motivated by the (...) well-known problem that semantic holism threatens the possibility of communication because it has the consequence that words mean different things in different mouths. Brandom offers a solution to this problem in terms of what he calls recurrence commitments. I show that chapter 8 of Making It Explicit should be understood as arguing that a practice that includes acknowledging interpersonal recurrence commitments institutes both conceptual contents with a referential dimension and objective conceptual norms. I close by raising the objection that Brandom's argument can only show that conceptual norms are communally shared and not that they are objective. I propose an emendation of this argument, having recourse to a practice Brandom refers to as rational rectification in his new book Between Saying and Doing. (shrink)

This article discusses the 2019 Event Horizon Telescope image of a black hole as an ontological question for photography, contrasting its spatially distributed operations as a planetary apparatus against its temporal inscriptions of successive histories of scientific realisms following Lorraine Daston and Peter Galison. The 'becoming photographic' of this image, this text argues, hinges on the distance it traverses from its scientific milieu to its vernacular reception, making visible the cultural calibrations that produce a consensually legible image.

The contributors to _Constructing the Pluriverse_ critique the hegemony of the postcolonial Western tradition and its claims to universality by offering a set of “pluriversal” approaches to understanding the coexisting epistemologies and practices of the different worlds and problems we inhabit and encounter. Moving beyond critiques of colonialism, the contributors rethink the relationship between knowledge and power, offering new perspectives on development, democracy, and ideology while providing diverse methodologies for non-Western thought and practice that range from feminist approaches to scientific (...) research to ways of knowing expressed through West African oral traditions. In combination, these wide-ranging approaches and understandings form a new analytical toolbox for those seeking creative solutions for dismantling Westernization throughout the world. Contributors Zaid Ahmad, Manuela Boatcă, Hans-Jürgen Burchardt, Arturo Escobar, Sandra Harding, Ehsan Kashfi, Venu Mehta, Walter D. Mignolo, Ulrich Oslender, Isiaka Ouattara, Manu Samnotra, Aram Ziai. (shrink)

M. Wetzel: Objektiver Idealismus und Prinzip Subjektivität in der Philosophie der Natur - G. F. Frigo: Aristoteles' Einfluß auf Hegels Naturphilosophie - W. Neuser: Das Anderssein der Idee, das Außereinandersein der Natur und der Begriff - H.-H. von Borzesz-kowski / R. Wahsner: Gibt es eine Logik der Physik als Vorstufe zur Hegelschen Begriffslogik - E.-O. Onnasch: System und Methode in der Philosophie Hegels - B. Braßler: Vorzüge einer Theorie der Dialektik - L. Fleischhacker: Mathematik und Natur, Verwandte oder Fremde - (...) P. Stekeler-Weithofer: Mathematisches und begriffliches Denken in Hegels Wissenschaft der Logik - M. J. Petry: Physik und Mathematik um 1790: Hegel und Schelling als Schüler Pfleiderers - P. Ziche: Raumdimensionen und Prinzipienreduktion. Beweise für die Dreidimensionalität des Raumes bei Schelling und Hegel - T. Bach: Leben als Gattungsprozeß: Historisch-systematische An-merkungen von Pflanze und Tier bei Hegel - S. Büttner: Das Manko des Organischen und die Krankheit als dessen Wahrheit - O. Breidbach: Überlegungen zur Typik des Organischen in Hegels Denken - C. Illies: Die Gene, die Meme und Wir - W. Kellerwessel: Reschers idealistische Dialektik - V. Hösle: Wahrheit und Verstehen. Davidson, Gadamer und das Desiderat einer objektiv-idealistsichen Hermeneutik - P. Várdy: Das Lächerliche und das Absolute - A. Rieckers: Photons and Mcroscopic Reality. (shrink)

This series of images forms part of the ongoing project Soft Ground, Hard Light, which speculates on a multiscalar spatial ontology of photography emanating from the Arditurri silver mine complex in the Basque Country. Evoking the mountainous massif around Arditurri where silver ore and galena have been extracted since Roman presence in the area, the depicted topographies are, in fact, data transcriptions from atomic force microscopy (AFM) probing the analogue film stock of an early 1930s experiment in 3D cinema, Cine (...) en Relieve, by the Basque cinematographer Teófilo Mingueza. In contrast to optical or electron microscopy, AFM uses a scanning probe to physically touch the specimen, recording its surface undulations at the atomic scale of a nanometre, or a billionth of a metre. As a haptic operation based on direct contact between instrument and sample, between apparatus and referent, AFM is literally a contact print, a ‘blind’ scan that senses not the visual content of the recorded image but ‘feels’ its underlying material substrate of silver nanoparticles within the 35 mm film emulsion. The resulting image assemblies visualize a topography resulting from the intra-action between the silver nanoparticles and the scanning probe as much as its transcription through the particular parameters afforded by the AFM analysis software. Hard Light, Soft Ground was initiated during an artist’s residency at Tabakalera Centre for Contemporary Culture, Donostia-San Sebastián, and is currently in production as part of the wider research project Esper Syndrome: Archaeotopologies of the Image at the Royal College of Art, funded by the AHRC through the London Arts & Humanities Partnership. With additional thanks to the Basque Film Archive and Gustavo Ariel Schwartz at the Materials Physics Centre, Donostia-San Sebastián. (shrink)

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.